conjugate linear space

共轭线性空间